Search Results
Types are a Program Analysis' Best Friend, Ranjit Jhala
PLSE Seminar Series Ranjit Jhala, "Refinement Types for Dynamic Languages"
#PLTalk with Ranjit Jhala on Liquid Types
Ranjit Jhala - Language-Integrated Verification
Dependent types vs refinement types (4 Solutions!!)
LambdaConf 2015 - LiquidHaskell Refinement Types for Haskell Ranjit Jhala
Ranjit Jhala - Liquid Haskell
An Introduction to Refinement Types
"Language-Integrated Verification" by Dr. Ranjit Jhala
Learning to Blame: Localizing Novice Type Errors with Data-Driven Diagnosis
#PLTalk: Refinement Types for Secure Web Applications
Liquid Types